$\forall$$T$:(Id$\rightarrow$Type). data($T$) $\in$ Type